well-defined function